Paraconsistent Knowledge Bases and Many-Valued Logic

Classical logic predicts that everything (thus nothing useful at all) follows from inconsistency. A paraconsistent logic is a logic where an inconsistency does not lead to such an explosion, and since in practice consistency is difficult to achieve there are many potential applications of paraconsistent logics in knowledge bases. We present a paraconsistent many-valued logic with a simple and new semantics for the logical operators. In particular we compare our approach with work based on bilattices. The adequacy of the logic is examined by a case study in the domain of medicine.